منابع مشابه
On recursion
It is a truism that conceptual understanding of a hypothesis is required for its empirical investigation. However, the concept of recursion as articulated in the context of linguistic analysis has been perennially confused. Nowhere has this been more evident than in attempts to critique and extend Hauseretal's. (2002) articulation. These authors put forward the hypothesis that what is uniquely ...
متن کاملRecursion on Abstract Structures
We develop and compare two models for computability over an abstract structure. The first, characterized in term of generalized register machines, provides a good theory for a large class of first-order structures. The second, defined in terms of minimal solutions for functional equations, is more versatile and handles many common second-order examples.
متن کاملOn Recursion Operators
We observe that application of a recursion operator of Burgers equation does not produce the expected symmetries. This is explained by the incorrect assumption that D−1 x Dx = 1. We then proceed to give a method to compute the symmetries using the recursion operator as a first order approximation.
متن کاملInduction and Recursion on
This Dagstuhl-Seminar has been attended by 35 computer scientists, logicians, and mathematicians from 14 countries and 5 continents. Since the mid-1970's it had become clear that the calculus of relations is a fundamental conceptual and methodological tool in Computer Science just as much as in Mathematics. A number of seemingly distinct areas of research have in fact this much in common that t...
متن کاملOn Spector's bar recursion
We show that Spector’s “restricted” form of bar recursion is sufficient (over system T ) to define Spector’s search functional. This new result is then used to show that Spector’s restricted form of bar recursion is in fact as general as the supposedly more general form of bar recursion. Given that these two forms of bar recursion correspond to the (explicitly controlled) iterated products of s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Frontiers in Psychology
سال: 2014
ISSN: 1664-1078
DOI: 10.3389/fpsyg.2013.01017